منابع مشابه
Ptolemy Relations for Punctured Discs
We construct frieze patterns of type DN with entries which are numbers of matchings between vertices and triangles of corresponding triangulations of a punctured disc. For triangulations corresponding to orientations of the Dynkin diagram of type DN , we show that the numbers in the pattern can be interpreted as specialisations of cluster variables in the corresponding Fomin-Zelevinsky cluster ...
متن کاملSystems Modeling in Ptolemy
Synchronous Dataflow (SDF) is useful in modeling communications and signal processing systems. We describe a communication actor library based on the SDF semantics in Ptolemy II and show how to use these actors to simulate communication systems. However, many communication and signal processing systems nowadays use adaptive algorithms and control protocols. These sometimes violate SDF principle...
متن کاملModal Models in Ptolemy
Ptolemy is an open-source and extensible modeling and simulation framework. It offers heterogeneous modeling capabilities by allowing different models of computation to be composed hierarchically in an arbitrary fashion. This paper describes modal models, which allow to hierarchically compose finite-state machines with other models of computation, both untimed and timed. The semantics of modal ...
متن کاملGroup actions on geodesic Ptolemy spaces
In this paper we study geodesic Ptolemy metric spaces X which allow proper and cocompact isometric actions of crystallographic or, more generally, virtual polycyclic groups. We show that X is equivariantly rough isometric to a Euclidean space.
متن کاملA modular formal semantics for Ptolemy
Ptolemy is an open-source and extensible modeling and simulation framework. It offers heterogeneous modeling capabilities by allowing different models of computation, both untimed and timed, to be composed hierarchically in an arbitrary fashion. This paper proposes a formal semantics for Ptolemy which is modular, in the sense that atomic actors and their compositions are treated in a unified wa...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Astronomy & Geophysics
سال: 1997
ISSN: 1468-4004,1366-8781
DOI: 10.1093/astrogeo/38.2.24